Constraints of Behavioural Inheritance

نویسندگان

  • Ella E. Roubtsova
  • Serguei A. Roubtsov
چکیده

We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural inheritance. In a UML profile with the process tree semantics we show how to use this logic for architectural design and for verification with respect to the specified inheritance constraint.

متن کامل
منابع مشابه

Developmental constraints on behavioural flexibility.

We suggest that variation in mammalian behavioural flexibility not accounted for by current socioecological models may be explained in part by developmental constraints. From our own work, we provide examples of constraints affecting variation in behavioural flexibility, not only among individuals, but also among species and higher taxonomic units. We first implicate organizational maternal eff...

متن کامل

Configuring Cloud-Service Interfaces Using Flow Inheritance

Technologies for composition of loosely-coupled web services in a modular and flexible way are in high demand today. On the one hand, the services must be flexible enough to be reused in a variety of contexts. On the other hand, they must be specific enough so that their composition may be provably consistent. The existing technologies (WS-CDL, WSCI and session types) require a behavioural cont...

متن کامل

MODEL CHECKING AN OBJECT-ORIENTED DESIGN Validation Led Development of Software

The object-oriented design methodologies have focused on methods, tools and representations to build classes taking advantage of inheritance and encapsulation properties. Modelling of the interaction among the objects often does not go beyond the method declarations stage until the programming phase. Efforts to include object constraints in the object-oriented design to embody the behavioural c...

متن کامل

Imprinted genes, cognition and behaviour.

The idea that genes can influence behavioural predispositions and their underlying psychological determinants is becoming increasingly tractable. In this article, recent findings are reviewed on a special type of inheritance, related to the transmission of traits via what have been termed 'imprinted' genes. In imprinted genes one allele is silenced according to its parental origin. This results...

متن کامل

Checking Behavioural Subtypes via Refinement

Behavioural subtyping is concerned with the question of whether one class is behaviourally consistent with another class. The word “behaviour” in this context usually refers to the semantics of methods, typically given by preand postconditions. In this paper, we will use this term in a more specific way, referring to the dynamic behaviour of objects in time. Behaviour descriptions of classes gi...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

متن کامل
عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004